AstréeA: A Static Analyzer for Large Embedded Multi-Task Software
نویسنده
چکیده
منابع مشابه
The ASTREÉ Analyzer
ASTRÉE is an abstract interpretation-based static program analyzer aiming at proving automatically the absence of run time errors in programs written in the C programming language. It has been applied with success to large embedded control-command safety critical realtime software generated automatically from synchronous specifications, producing a correctness proof for complex software without...
متن کاملTiming Validation of Automotive Software
Embedded hard real-time systems need reliable guarantees for the satisfaction of their timing constraints. During the last years sophisticated analysis tools for timing analysis at the code-level, controllerlevel and networked system-level have been developed. This trend is exemplified by two tools: AbsInt’s timing analyzer aiT, and and Symtavision’s SymTA/S. aiT determines safe upper bounds fo...
متن کاملDynamic Instability Analysis of Embedded Multi-walled Carbon Nanotubes under Combined Static and Periodic Axial Loads using Floquet–Lyapunov Theory
The dynamic instability of single-walled carbon nanotubes (SWCNT), double-walled carbon nanotubes (DWCNT) and triple-walled carbon nanotubes (TWCNT) embedded in an elastic medium under combined static and periodic axial loads are investigated using Floquet–Lyapunov theory. An elastic multiple-beam model is utilized where the nested slender nanotubes are coupled with each other through the van d...
متن کاملTowards Multicore WCET Analysis
AbsInt is the leading provider of commercial tools for static code-level timing analysis. Its aiT Worst-Case Execution Time Analyzer computes tight bounds for the WCET of tasks in embedded real-time systems. However, the results only incorporate the core-local latencies, i.e. interference delays due to other cores in a multicore system are ignored. This paper presents some of the work we have d...
متن کاملIntegrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation Abstract interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, modelling program executions, hence program properties, at various levels of abstraction [3,7,8,10,12].interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures ...
متن کامل